منابع مشابه
First-order logic - Wikipedia, the free encyclopedia
First-order logic (FOL) is a formal deductive system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first-order predicate calculus (FOPC), the lower predicate calculus, the language of first-order logic or predicate logic. Unlike natural languages such as English, FOL uses a wholly unambiguous formal language interpreted by mathematical str...
متن کاملFirst-Order Logic Definability of Free Languages
Operator Precedence Grammars (OPGs) define a deterministic class of context-free languages, which extend input-driven languages and still enjoy many properties: they are closed w.r.t. Boolean operations, concatenation and Kleene star; the emptiness problem is decidable; they are recognized by a suitable model of pushdown automaton; they can be characterized in terms of a monadic second-order lo...
متن کاملStar-Free Picture Expressions are Strictly Weaker Than First-Order Logic
We exhibit a rst-order deenable picture language which we prove is not expressible by any star-free picture expression, i. e., it is not star-free. Thus rst-order logic over pictures is strictly more powerful than star-free picture expressions are. This is in sharp contrast with the situation with words: the well-known McNaughton-Papert theorem states that a word language is expressible by a rs...
متن کاملReducing first - order logic to Df 3 , free algebras
Alfred Tarski in 1953 formalized set theory in the equational theory of relation algebras [37, 38]. Why did he do so? Because the equational theory of relation algebras (RA) corresponds to a logic without individual variables, in other words, to a propositional logic. This is why the title of the book [39] is “Formalizing set theory without variables”. Tarski got the surprising result that a pr...
متن کاملBüchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
This work considers weak deterministic Büchi automata reading encodings of non-negative reals in a fixed base. A Real Number Automaton is an automaton which recognizes all encoding of elements of a set of reals. It is explained how to decide in linear time whether a set of reals recognized by a given minimal weak deterministic RNA is FO [R; +, <, 1]definable. Furthermore, it is explained how to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1986
ISSN: 0022-0000
DOI: 10.1016/0022-0000(86)90037-1